home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / lisp / stk-3.002 / stk-3 / STk-3.1 / Doc / Isotas96 / Makefile < prev    next >
Encoding:
Makefile  |  1996-01-21  |  511 b   |  27 lines
  1. LATEX=latex
  2.  
  3. dvi: Isotas96.dvi
  4.  
  5. ps: Isotas96.ps
  6.  
  7. Isotas96.ps: Isotas96.dvi
  8.     dvips -f Isotas96.dvi > Isotas96.ps
  9. Isotas96.dvi: Isotas96.tex prog
  10.     $(LATEX) Isotas96
  11.     bibtex Isotas96
  12.     $(LATEX) Isotas96
  13.     $(LATEX) Isotas96
  14. prog: 
  15.     echo '\begin{alltt}' > mop.tex
  16.     expand mop.stk | sed -e 's/;\(.*\)/{\\it ;\1}/' \
  17.                  -e 's/</{\\tt{}<}/g' \
  18.                  -e 's/>/{\\tt{}>}/g' >> mop.tex
  19.     echo '\end{alltt}' >> mop.tex
  20.  
  21. clean: 
  22.     rm -f *.aux *.bbl *.blg *.log core *~
  23.  
  24. very-clean: clean
  25.     rm -f Isotas96.ps *.dvi mop.tex
  26.  
  27.